a logical relation between propositions p and q of the form if p then q if p is true then q cannot be false
اگر پی تو پھر سچ ہے تو پی کے ق اور ق کے درمیان ایک منطقی رشتہ ہے تو Q غلط نہیں ہو سکتا